Principia Mathematica - PDFSEARCH.IO - Document Search Engine

Principia Mathematica
Results: 84

#	Item
51	Essays on the Origins of Western Music by Add to Reading List Source URL: www.whitwellessays.com Language: English - Date: 2014-07-08 17:45:29 Fellows of the Royal Society Natural philosophers Isaac Newton Natural philosophy Knights Bachelor Writing of Principia Mathematica Robert Hooke Newton Massachusetts Frequency Physics Science British people
52	April 29, 2010 — Final version for proceedings of LICS’10 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-04-29 08:06:06 Mathematical logic Formal languages Propositional calculus Golden ratio Well-formed formula Entailment Linear temporal logic Principia Mathematica Logic Logical syntax Metalogic
53	MATH CIRCLE - SET THEORY WEEKS 5-7 SAM LICHTENSTEIN It’s been a few weeks since I put notes online. Sorry for the delay! Let me try to reconstruct some of what was covered in the class since Week 5. The necessity of ax Add to Reading List Source URL: www.themathcircle.org Language: English - Date: 2007-12-08 22:06:11 Set theory Z notation Function Constructible universe Axiom S Naive set theory Principia Mathematica Mathematical logic Mathematics Logic
54	Discrete Mathematics II: Set Theory for Computer Science Part IA Comp. Sci. Lecture Notes Glynn Winskel c Glynn Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-13 09:46:14 Function Mathematical proof Mathematical induction Finitary relation Well-founded relation Unification Boolean algebra Propositional calculus Principia Mathematica Mathematics Logic Mathematical logic
55	1934-1 "INFORMAL" PART OF PRINCIPIA 127 Add to Reading List Source URL: www.hist-analytic.com Language: English - Date: 2011-07-30 20:40:22 Principia Mathematica Science Axiom Mathematical proof Mathematics Mathematical logic Logic
56	1934-1 "INFORMAL" PART OF PRINCIPIA 127 Add to Reading List Source URL: hist-analytic.com Language: English - Date: 2011-07-30 20:40:22 Principia Mathematica Science Axiom Mathematical proof Mathematics Mathematical logic Logic
57	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-03-26 14:18:16 Model theory Formal languages Predicate logic Logical syntax First-order logic Interpretation Principia Mathematica Well-formed formula Function Logic Mathematics Mathematical logic
58	CM111A – Calculus I Compact Lecture Notes ACC Coolen Add to Reading List Source URL: www.mth.kcl.ac.uk Language: English - Date: 2011-09-30 07:16:00 Trigonometry Analytic functions Calculus Trigonometric functions Integral Philosophiæ Naturalis Principia Mathematica Function Derivative Hyperbolic function Mathematics Mathematical analysis Functions and mappings
59	NEWTON, THE GEOMETER NICOLE BLOYE & STEPHEN HUGGETT Add to Reading List Source URL: stephenhuggett.com Language: English - Date: 2012-06-02 03:45:42 Analytic geometry Natural philosophers Philosophers of science Euclidean plane geometry Porism Philosophiæ Naturalis Principia Mathematica Curve Later life of Isaac Newton Focus Geometry Algebraic geometry Conic sections
60	On Formally Undecidable Propositions of Principia Mathematica Add to Reading List Source URL: jacqkrol.x10.mx Language: English - Date: 2013-09-21 05:15:44 Principia Mathematica Axiom On Formally Undecidable Propositions of Principia Mathematica and Related Systems Kurt Gödel Theorem Rule of inference Peano axioms Metamathematics Formal proof Logic Mathematics Mathematical logic